Skip to main content

Full text of "Treatise On Analysis Vol-Ii"


By virtue of ( it is enough to show that |ju(/)| ^ ji(l/l) fr al*
/e JTC(X). Given/, there exists  e C such that || = I and |X/)| = M/) =
; since /* is real, we have MC/) = A<#(f/)) >' and since /j ^ 0 and
 |/|, it follows that /i(#(f/)) ^ Ml/I), which establishes the

If jw is any raz/ measure on X, it follows from (13.3.3) that fi g |ju|, and
therefore :

(13.3.6)   Every real measure on X is the difference of two positive measures
(for a more precise result, see (13.15)).

If /* is any (complex) measure on X, it follows from (13.3.3) and (13.3.2)
that we have


Also if ^, v are any two measures on X we have

(13.3.8)                                    |/ + v|  |/| + |v|

by virtue of (13.3.2).

Finally, it follows immediately from the definitions that, if n : X - X' is a
homeomorphism and ^ is any measure on X, then

(13.3.9)                                      brGOl -


1. Let X be a locally compact space, E a vector subspace of ^R(X) and P a convex cone
in ^R(X) (i.e., a subset of this space such that the relations/ep and #ep imply
/+ g e P and afe P for all scalars a > 0). Suppose that for each function h e Jf R(X)
there exists /e E such that / h e P,

Let if be a real linear form on E such that the relation/e E n P implies u(f) > 0.
Let h e JfR(X) and let Pi be the set of all /e E such that h ~/E P, and P' the set of
all/e E such that/ h e P. Show that these two sets Pi, P are nonempty, and that if
of is the least upper bound of the (/) with/e Pi and a" the greatest lower bound of
the u(f) with /e Pi', then a' and a" are finite and a" <J a". Deduce that there exists a
linear form i on the subspace E! * E + Rh of ^R(X) which extends w, such that the
relation /i e EI n P implies w^C/i) j> 0. Show that a' g u^(h) <J a" for any such exten-
sion i of u> and that the extension is unique if and only if of = a*.*. is a positive measure on X, then